Skip to main content
Internet Archive's 25th Anniversary Logo

Lobotomy Favorites

Lobotomy Favorites

1,749
RESULTS


Show sorted alphabetically

Show sorted alphabetically

SHOW DETAILS
up-solid down-solid
eye
Title
Date Favorited
Creator
Gerard Arthus - Books and Items
by Sergei Alexandrovich Nilus
texts

eye 22,902

favorite 18

comment 1

Protokolog Sionskikh Mudnetsov, Protocols of the Learned Elders of Zion, original Russian Edition published in 1921, by Sergei Alexandrovich Nilus. This is one of the original publications of this work. No copyright notice and no copyright registration; this document is Public Domain under Rule 5 of the U.S. Copyright Statutes. E book scanned and created by Gerard Arthus; released into the Public Domain Under the Creative Commons License.
favoritefavoritefavorite ( 1 reviews )
Topics: garthus, garthus1, protocols, zion, elders, anti-semitism, Sergei Alexandrovich Nilus, Russian
Books to Borrow
by Marsden, Victor E. (Victor Emile), 1866-1920
texts

eye 1,326

favorite 29

comment 3

At head of title: United we fall, divided we stand
favoritefavoritefavoritefavorite ( 3 reviews )
Topics: Protocols of the wise men of Zion, Antisemitism
Topics: Ferguson, Robert, -1714. No Protestant plot. Part 3., Ireland--History--1660-1688.
The Library of Congress
by Freitas, Thome Luiz de. [from old catalog]
texts

eye 327

favorite 3

comment 0

Postscript signed M. P., i. e. Moral Philosopher. pseud. of P. Annet
Topic: Paul, the Apostle, Saint
"The wisdom of the ancients. Written in Latin by the Right Honourable Sir Francis Bacon, Knight, Baron of Verulam, and Lord Chancellor of England. Done into English by Sir Arthur Gorges, Knight." London, 1701. [9], p. 17-98
European Libraries
texts

eye 3,190

favorite 1

comment 0

Book digitized by Google from the library of Oxford University and uploaded to the Internet Archive by user tpb.
Topic: Proverbs
Source: http://books.google.com/books?id=FzEJAAAAQAAJ&oe=UTF-8
The Thomas Pennant Barton Shakespeare Collection at the Boston Public Library
by Beaumont, Francis, 1584-1616; Fletcher, John, 1579-1625, author; Marshall, William, active 1617-1650, engraver; Macock, John, printer; Hills, Henry, -1689? printer; Martyn, John, active 1649-1680, bookseller; Herringman, Henry, -1704, bookseller; Marriot, Richard, active 17th century, bookseller; Cotton, Charles, 1630-1687, former owner; Gaffield, Thomas, former owner; Barton, Thomas Pennant, 1803-1869, former owner. MB
texts

eye 683

favorite 2

comment 0

Both authors' names appear within braces
The Thomas Pennant Barton Shakespeare Collection at the Boston Public Library
by Beaumont, Francis, 1584-1616; Fletcher, John, 1579-1625, author; Marshall, William, active 1617-1650, engraver; Macock, John, printer; Hills, Henry, -1689? printer; Martyn, John, active 1649-1680, bookseller; Herringman, Henry, -1704, bookseller; Marriot, Richard, active 17th century, bookseller; Cotton, Charles, 1630-1687, former owner; Gaffield, Thomas, former owner; Barton, Thomas Pennant, 1803-1869, former owner. MB
texts

eye 821

favorite 2

comment 0

Both authors' names appear within braces
The Thomas Pennant Barton Shakespeare Collection at the Boston Public Library
by Camus, Jean-Pierre, 1584-1652; Brooks, William, active 1631?-1640, bookseller; Brugis, Thomas, active 1640? translator; Du Verger, S., translator; Harper, Thomas, -1656, printer; Camus, Jean-Pierre, 1584-1652. Relations morales. English; Barton, Thomas Pennant, 1803-1869, former owner. MB; G.4072.18 Halliwell-Phillipps, J. O. (James Orchard), 1820-1889, former owner. MB
texts

eye 199

favorite 1

comment 0

Translation of selections from "Les evenements singuliers, ou, Histoires diverses" and "Relations morales."
Topic: Parables
John Carter Brown Library copy has: Luis moscosso: autograph; Luis Montt: bookplate
Topic: Imprint 1636
Golden Chain [Old Russian collection of moral teachings], the end of the 14th  —  the beginning of the 15th centuries. Russian State Library, Collection of Trinity Lavra of St. Sergius, № 11. Златая цепь [древнерусский сборник нравоучительных наставлений]. Конец XIV  —  начало XV вв. ГБЛ, собрание Троицо-Сергиевой лавры, № 11).
Topic: Old Russian Literature
Books for People with Print Disabilities
by Aho, Alfred V; Hopcroft, John E., 1939- joint author; Ullman, Jeffrey D., 1942- joint author
texts

eye 584

favorite 15

comment 0

Bibliography: p. [451]-462
Topics: Computer programming, Computer algorithms, Ordinateurs, Algorithmes, Algoritmos, Programmation...
Source: removedNEL
Books to Borrow
by Eco, Umberto; Martini, Carlo Maria, 1927-2012
texts

eye 172

favorite 7

comment 0

Secular obsession with the new Apocalypse / Umberto Eco -- Hope puts an end to "the end" / Carlo Maria Martini -- When does human life begin? / Umberto Eco -- Human life is part of God's life / Carlo Maria Martini -- Men and women-- according to the Church / Umberto Eco -- The Church does not fulfill expectations, it celebrates mysteries / Carlo Maria Martini -- Where does the layman find illumination? / Carlo Maria Martini -- Ethics are born in the presence of the other / Umberto Eco
Topics: Philosophy, General, History & Surveys - Modern, Religion / General, Religious, Eco, Umberto,...
Books to Borrow
by Blovits, Larry
texts

eye 518

favorite 35

comment 0

Includes index
Topics: Art techniques & materials, Drawing & drawings, Technique, Art, Art & Art Instruction,...
Folkscanomy: A Library of Books
by Dalen, D. van (Dirk), 1932-
texts

eye 2,817

favorite 8

comment 0

Logic and Structure Author: Dirk van Dalen Published by Springer Berlin Heidelberg ISBN: 978-3-540-20879-2 DOI: 10.1007/978-3-540-85108-0 Table of Contents: Introduction Propositional Logic Predicate Logic Completeness and Applications Second Order Logic Intuitionistic Logic Normalisation Gödel’s theorem
Topic: Logic, Symbolic and mathematical
Community Texts
by Alfred Ayer
texts

eye 50,208

favorite 49

comment 1

Classic introduction to objectives and methods of schools of empiricism and linguistic analysis, especially of the logical positivism derived from the Vienna Circle. Topics: elimination of metaphysics, function of philosophy, nature of philosophical analysis, the a priori, truth and probability, critique of ethics and theology, self and the common world, more.
favoritefavoritefavoritefavoritefavorite ( 1 reviews )
Topics: ermal, mallakastra, albania, philosophy
Books to Borrow
by Lemmon, E. J. (Edward John)
texts

eye 736

favorite 10

comment 1

Includes index
favoritefavoritefavorite ( 1 reviews )
Topics: Propositional calculus, Predicate calculus
Books to Borrow
by Kaplan, Inc.
texts

eye 145

favorite 7

comment 0

Previous ed.: 2006
Topics: Law School Admission Test, Logic puzzles
Books to Borrow
by Eco, Umberto; Lumley, Robert, 1951-
texts

eye 422

favorite 14

comment 0

Mode of access: Internet
Topics: Popular culture, Mass media, Popular culture, Mass media
Books to Borrow
by Michael Caesar
texts

eye 175

favorite 8

comment 0

Topics: Eco, Umberto -- Philosophy., Semiotics.
NASA Technical Documents
texts

eye 285

favorite 1

comment 0

The amount and complexity of software developed during the last few years has increased tremendously. In particular, programs are being used more and more in embedded systems (from car-brakes to plant-control). Many of these applications are safety-relevant, i.e. a malfunction of hardware or software can cause severe damage or loss. Tremendous risks are typically present in the area of aviation, (nuclear) power plants or (chemical) plant control. Here, even small problems can lead to thousands...
Topics: COMPOSITE STRUCTURES, FLEXURAL STRENGTH, COMPRESSIVE STRENGTH, REINFORCEMENT (STRUCTURES), SANDWICH...
Books to Borrow
texts

eye 61

favorite 2

comment 0

Companion vol. to: Automated reasoning : introduction and applications / Larry Wos ... [et al.]. c1984
Topics: Automatic theorem proving, Artificial intelligence, Computer programming
Testing can be used during the software development process to maintain fidelity between evolving specifications, program designs, and code implementations. We use a form of specification-based testing that employs the use of an automated theorem prover to generate test templates. A similar approach was developed using a model checker on state-intensive systems. This method applies to systems with functional rather than state-based behaviors. This approach allows for the use of incomplete...
Topics: NASA Technical Reports Server (NTRS), SOFTWARE ENGINEERING, THEOREM PROVING, COMPUTER PROGRAMMING,...
University of Illinois Urbana-Champaign
by Henschen, Lawrence J
texts

eye 155

favorite 1

comment 0

"Supported in part by the National Science Foundation under Grant no. NSF-GP-4636."
Topics: Computer science, Functions
Books to Borrow
by Asimov, Isaac, 1920-1992; Electron, Proton; Light, Magnetism; Motion, Sound
texts

eye 776

favorite 39

comment 0

Includes index
Topics: Science, Bargain Books, PHYSICS, Pysics, Physics
Books to Borrow
by Inman, D. J
texts

eye 312

favorite 5

comment 0

System requirements for computer disk (Vibration toolbox): PC; DOS; MATLAB or MATLAB student ed.; hard disk and floppy disk drive
Topic: Vibration
Books to Borrow
by Pfleeger, Shari Lawrence
texts

eye 387

favorite 5

comment 0

"An Alan R. Apt book."
Topics: Software engineering, Génie logiciel
Defense Technical Information Archive
texts

eye 36

favorite 1

comment 0

The Requirements Engineering Guidebook provides guidance and standards for government and private engineering personnel in defining and analyzing the requirements for a system. This guidebook addresses the initial phases of Air Force system acquisition (Conceptual and Validation Phases) and is intended to provide gridance for the acquisition of large-scale systems. However, the guidance can be applied to smaller, less complex systems and can be used in acquisition environments other than the...
Topics: DTIC Archive, Smith,Daniel G, LOGICON INC LEXINGTON MA, *SYSTEMS ENGINEERING, *MANAGEMENT...
Naval Postgraduate School
texts

eye 178

favorite 1

comment 0

Available from National Technical Information Service, Springfield, Va
Topic: Command
The Architecture of Scientific Software: IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2–4, 2000, Ottawa, Canada Author: Ronald F. Boisvert, Ping Tak Peter Tang Published by Springer US ISBN: 978-1-4757-6719-3 DOI: 10.1007/978-0-387-35407-1 Table of Contents: Network-Based Scientific Computing Future Generations of Problem—Solving Environments Developing an Architecture to Support the Implementation and Development of Scientific Computing Applications...
Topics: Computer science, Software engineering, Electronic data processing, Computer science, Computer...
Defense Technical Information Archive
by Defense Technical Information Center
texts

eye 45

favorite 1

comment 0

Real time embedded systems have particularly strict requirements on accuracy, safety and reliability. A central question in the design of such systems is how to support concurrent processing without adversely affecting the timing requirements of the system. Concurrent processing is essential because the only way to successfully meet some tight real time constraints is to use multiple processors. This thesis focuses on the distributed scheduling problem. It proposes a distributed scheduling...
Topics: DTIC Archive, Almeida, Jose Carlos Alves de, NAVAL POSTGRADUATE SCHOOL MONTEREY CA, *SOFTWARE...
Books to Borrow
by Leigh, William E; Ali, Dia L
texts

eye 100

favorite 3

comment 0

Includes index
Topic: Computer architecture
Source: removedNEL
Books to Borrow
texts

eye 64

favorite 2

comment 0

xxiv, 736 pages : 24 cm
Topics: Computer architecture, Computer architecture
Source: removedNEL
Defense Technical Information Archive
by Defense Technical Information Center
texts

eye 84

favorite 1

comment 0

In this report, we present an approach to improving the usability of software systems by means of software architectural decisions. We identify specific connections between aspects of usability, such as the ability to undo, and software architecture. We also formulate each aspect of usability as a scenario with a characteristic stimulus and response. For every scenario, we provide an architecture pattern that implements its aspect of usability. We then organize the usability scenarios by...
Topics: DTIC Archive, Bass, Len, CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, *SOFTWARE...
The BITSAVERS.ORG Documents Library
texts

eye 231

favorite 1

comment 0

From the bitsavers.org collection, a scanned-in computer-related document. auspex :: m2000 :: M2000 Software Architecture Dec98
Topics: auspex, host, solaris, configuration, nfs, filesystems, manualtitle, dataguard, boot, processor,...
The right software architecture is essential for a software-intensive system to meet its functional requirements as well as its quality requirements that govern real-time performance, reliability, maintainability, and a host of other quality attributes. Because an architecture comprises the earliest, most important, and most far-reaching design decisions, it is important for an acquisition organization to exercise its oversight prerogatives with respect to software architecture. Having the...
Topics: DTIC Archive, Bergey, John K, CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST,...
Defense Technical Information Archive
texts

eye 40

favorite 1

comment 0

The basic purpose of the ABIS Task Force was to better align the science and technology program with the emerging Joint Vision 2010. The Task Force sought to develop elements of a C4I strategic framework that could guide key planning, architecture, and programmatic efforts and ultimately impact doctrine and training development as well. The ABIS Task Force was established as an initial step in forming a partnership between the Director of Defense Research and Engineering (OSD) and the Director...
Topics: DTIC Archive, DEPUTY CHIEF OF STAFF COMMAND CONTROL COMMUNICATIONS/COMPUTERS WASHINGTON D C DIR C4...
The cost of software today consumes over ten percent of the DoD budget. Software costs, complexity, and size continue to rise because of the ever increasing dependence of weapons and general purpose systems on computers. Software engineering, the Ada programming language, and efforts to determine the performance and risk of software development organizations by measuring process maturity represent key initiatives by the DoD to improve the quality, reliability, and maintainability of the...
Topics: DTIC Archive, Dick, David R, DEPUTY CHIEF OF STAFF COMMAND CONTROL COMMUNICATIONS AND COMPUTERS...
Defense Technical Information Archive
by Defense Technical Information Center
texts

eye 38

favorite 1

comment 0

The main objective of the spatial reasoning project, briefly stated, is to: Demonstrate the feasibility of using expert system technology as an aid to tactical mission planning and in particular to demonstrate the use of spatial reasoning in this context through a prototype system capable of knowledge-based spatial deduction. The prototype demonstration addresses a a subproblem of tactical mission planning, the determination of likely locations for enemy artillery batteries. This determination...
Topics: DTIC Archive, Perricone,Barry T, SOFTWARE ARCHITECTURE AND ENGINEERING INC ARLINGTON VA, *SPATIAL...
Books to Borrow
texts

eye 29

favorite 1

comment 0

1 online resource
Topics: Software architecture -- Congresses, Software engineering -- Congresses, Informatique, Software...
Books to Borrow
by Bass, Len; Clements, Paul, 1955-; Kazman, Rick
texts

eye 166

favorite 5

comment 0

Includes bibliographical references (p. 443-445) and index
Topics: Software architecture, System design
Books to Borrow
by Capon, Robin
texts

eye 412

favorite 16

comment 0

Topics: Drawing, Art & Art Instruction, Art, General, Study & Teaching, Techniques - Drawing,...
Books to Borrow
by Santmyer, Helen Hooven, 1895-
texts

eye 404

favorite 6

comment 0

Topics: Women, City and town life
Books to Borrow
by Jonathan Dee
texts

eye 132

favorite 7

comment 0

Topics: Egyptian literature -- Translations into English., Tales -- Egypt., Mythology, Egyptian., Egypt --...
Books to Borrow
by Anklam, Patricia, 1949-
texts

eye 119

favorite 8

comment 0

Includes index
Topics: VAX-11 (Computer), Compilers (Computer programs), Code generators, PL/I (Computer program...
Books to Borrow
by Field, Syd
texts

eye 2,046

favorite 32

comment 0

Includes index
Topics: Motion picture authorship, Cinéma, Cinéma
Books to Borrow
by White, Tony, 1947-
texts

eye 454

favorite 21

comment 0

Jacket subtitle: Step-by-step techniques of drawn animation
Topics: Animation (Cinematography), Animación (cinematografía)
Books to Borrow
by Scott, Henry Joseph, 1917-,Scott, Lenore, 1923-
texts

eye 217

favorite 9

comment 0

Describes the grammar, pronunciation, and writing of words and sentences in hieroglyphs
Topics: Egyptian language, Egyptian language
Books to Borrow
by Ilʹi͡a︡ Kutik
texts

eye 29

favorite 2

comment 0

Source: removedNEL
Books to Borrow
by Hossell, Karen Price
texts

eye 251

favorite 9

comment 0

Includes Index
Topics: Egyptian language, Egyptian language
Books to Borrow
by Nichols, Charles E; Brown, Karen
texts

eye 348

favorite 10

comment 0

V. 1. - Lessons 1 - 9
Topics: Egyptian language, Egyptian language, Egyptian language, Egyptian language, Egyptian language
Books to Borrow
by Bridget McDermott
texts

eye 476

favorite 23

comment 1

( 1 reviews )
Topics: History, History - General History, Egyptian language, Language, Egypt, Ancient - Egypt,...
Books to Borrow
by Mark Collier
texts

eye 242

favorite 13

comment 0

Topics: Egyptian language -- Writing, Hieroglyphic, Egyptian language -- Textbooks for foreign speakers --...
Source: removedNEL
The Eclectic Review , July-Dec 1835 We are extremely glad to notice a reprint of Knox's "Christian Philosophy"; a work little known, and, if we mistake not, long out of print, but highly deserving of a place in the theological library. The work was undertaken under the not ill-founded apprehension that the popular Apologies for Christianity, and argumentative treatises in defence of Revelation, had 'contributed to the amusement of retired scholars almost 'persuaded of Christianity,'...
Topics: christianity, theology, systematic theology, apologetics, religion, biblicism, reformed theology
Books to Borrow
by Clarke, Arthur C. (Arthur Charles), 1917-2008; Kubrick, Stanley
texts

eye 1,851

favorite 46

comment 0

The classic science fiction novel that changed the way we looked at the stars and ourselves. From the savannas of Africa at the dawn of mankind to the rings of Saturn as man ventures to the outer rim of our solar system, 2001: A Space Odyssey is a journey unlike any other. This allegory about humanity's exploration of the universe and the universe's reaction to humanity was the basis for director Stanley Kubrick's immortal film, and lives on as a landmark achievement in storytelling. - Back...
Topics: Computers, Space vehicles, Human-computer interaction, Computers, Human-computer interaction, Space...
Books to Borrow
by Kubrick, Stanley; Raphael, Frederic, 1931-; Schnitzler, Arthur, 1862-1931. Traumnovelle. English
texts

eye 489

favorite 30

comment 0

"Dream story, by Arthur Schnitzler": p. [173]-281
Books to Borrow
by Nancy Grubb
texts

eye 83

favorite 6

comment 0

Topics: Angels -- Christianity., Angels in art.
Books to Borrow
by Bittinger, Marvin L
texts

eye 121

favorite 4

comment 0

Includes bibliographical references (page 125)
Topics: Logic, Symbolic and mathematical, Beweis, Logik, Mathematik, Logic, Symbolic and mathematical --...
Books to Borrow
by Halmos, Paul R. (Paul Richard), 1916- . cn
texts

eye 627

favorite 14

comment 0

Topics: Set theory, Arithmetic
Books to Borrow
by Stoll, Robert R
texts

eye 442

favorite 7

comment 0

Nebent.: Introduction to set theory and logic
Topics: Mathematische Logik, Mengenlehre
Books to Borrow
by Goldman, Alvin I., 1938-
texts

eye 239

favorite 8

comment 0

Bibliography: p. [383]-422
Topics: Cognition, Knowledge, Theory of, Cognition, Philosophy
Books to Borrow
by Delbrück, Max; Stent, Gunther S. (Gunther Siegmund), 1924-
texts

eye 49

favorite 1

comment 0

ix, 290 p. : 24 cm
Topics: Evolution, Knowledge, Theory of, Metaphysics
Books to Borrow
by Walker, Richard, 1948-
texts

eye 57

favorite 4

comment 0

Includes bibliographical references (pages 293-303) and index
Topics: Knowledge, Theory of, Knowledge, Theory of, Erkenntnistheorie, Erkenntnistheorie, Essentialismus
Books to Borrow
by Sperber, Dan; Wilson, Deirdre
texts

eye 226

favorite 6

comment 0

Bibliography: p. [266]-274
Topics: Oral communication, Relevance, Inference, Cognition, Cognition, Communication interpersonnelle,...
Books to Borrow
texts

eye 223

favorite 2

comment 0

Includes bibliographical references
Topics: Education, Knowledge, Theory of, Kennistheorie, Éducation, Connaissance, Théorie de la
Books to Borrow
by Langer, Susanne Katherina Knauth, 1895-1985
texts

eye 230

favorite 5

comment 0

Vols. 2-3 published by: Johns Hopkins University Press
Topics: Mind and body, Biology, Emotions, Evolution, Arte (teoria), Estetica, Geest, Emoties
Books to Borrow
by Carnap, Rudolf, 1891-1970; Meyer, William H; Wilkinson, John
texts

eye 381

favorite 9

comment 0

Translation of: Einfuhrung in die symbolische Logik
Topics: Logic, Symbolic and mathematical, Logique symbolique et mathématique, Symbolische logica, Wiskunde
Books to Borrow
by Vernon Blackmore
texts

eye 26

favorite 1

comment 0

Topics: Evolution (Biology), Creationism.
Books to Borrow
by McGee, Glenn, 1967-; Caplan, Arthur L; Roopali Malhotra
texts

eye 59

favorite 2

comment 0

Includes bibliographical references
Topics: Human cloning, Cloning, Organism, Bioethical Issues, Religion and Science, Stem Cell Transplantation
Books to Borrow
by Wood, Roy V; Goodnight, Lynn
texts

eye 71

favorite 5

comment 0

Bibliography: p. 311-313
Topic: Debates and debating
Books for People with Print Disabilities
by Magoon, Kekla
texts

eye 1

favorite 1

comment 0

1 online resource (112 pages) :
Topics: Public welfare -- United States -- Juvenile literature, JUVENILE NONFICTION -- Social Issues --...
Source: removed
Strategy Guides
texts

eye 1,299

favorite 9

comment 0

The X Files Strategy Guide
Books to Borrow
by Butler, James Ramsay Montagu, 1889-; Gibbs, Norman Henry, 1910-; Gwyer, J. M. A; Ehrman, John; Howard, Michael Eliot, 1922-
texts

eye 451

favorite 9

comment 0

Includes bibliographical references and index
Topics: World War, 1939-1945, World War, 1939-1945
Books to Borrow
by B. H. Liddell Hart
texts

eye 970

favorite 31

comment 0

Books to Borrow
by Ham, James M; Slemon, Gordon R., joint author
texts

eye 66

favorite 2

comment 0

Includes bibliography
Topics: Electricity, Magnetism, Electrical engineering
Books to Borrow
texts

eye 199

favorite 4

comment 0

Topics: Grace, Princess of Monaco, 1929-1982, Quine, Judy, Rainier III, Prince of Monaco, 1923-, Weddings,...
Books to Borrow
by Wölfflin, Heinrich, 1864-1945
texts

eye 153

favorite 9

comment 0

"First published 1952 ; fourth edition (photographically reprinted 1980."
Topics: Art, Art, Renaissance, Art italien, Art de la Renaissance, Art, Art, Renaissance
Books to Borrow
by Romney, Marshall B; Steinbart, Paul John
texts

eye 518

favorite 10

comment 3

Includes bibliographical references and index
favoritefavoritefavoritefavorite ( 3 reviews )
Topics: Accounting, Information storage and retrieval systems
Books to Borrow
texts

eye 64

favorite 8

comment 0

Topics: Mate selection, Love, Dating (Social customs), Man-woman relationships
Books to Borrow
texts

eye 93

favorite 3

comment 0

Spine title: UNIX in a nutshell for BSD 4.3
Topics: UNIX (Computer file), Operating systems (Computers)
Arxiv.org
by Udi Boker; Nachum Dershowitz
texts

eye 42

favorite 1

comment 0

It is common practice to compare the computational power of different models of computation. For example, the recursive functions are strictly more powerful than the primitive recursive functions, because the latter are a proper subset of the former (which includes Ackermann's function). Side-by-side with this "containment" method of measuring power, it is standard to use an approach based on "simulation". For example, one says that the (untyped) lambda calculus is as...
Source: http://arxiv.org/abs/cs/0510069v1
Books to Borrow
by Hoyles, Celia, 1946-; Morgan, Candia; Woodhouse, Geoffrey
texts

eye 36

favorite 1

comment 0

Outcome of a conference held at the Institute of Education, University of London in October, 1996. - p.ix
Topics: Mathematics, MATHEMATICS, Mathematics
Defense Technical Information Archive
by Defense Technical Information Center
texts

eye 27

favorite 1

comment 0

This contract final technical report documents the Formal Methods Framework (FMF) project results. This project consider the impact of formal methods on industries such as high assurance and telecommunications software and proposes a framework within which formal method can be used more effectively to produce reliable and correct software. A FMF is developed an populated, and areas of future improvement such as extensibility, scalability and range of applications are identified.
Topics: DTIC Archive, WETSTONE TECHNOLOGIES CORTLAND NY, *COMPUTER PROGRAMS, *TELECOMMUNICATIONS, INDUSTRIES
Books to Borrow
by Stewart, Gail B. (Gail Barbara), 1949-
texts

eye 134

favorite 4

comment 0

p. cm
Topic: Trials (Witchcraft) -- Massachusetts -- Salem -- Juvenile literature
Books to Borrow
by Barrett, Anthony, 1941-
texts

eye 209

favorite 12

comment 0

"Published 1996 in the United Kingdom as Agrippina, Mother of Nero"--Title page verso
Topics: Biography: historical, European history: BCE to c 500 CE, Ancient Rome - History, Women - Ancient...
Source: removedNEL
Prelinger Archives
movies

eye 42,586

favorite 114

comment 6

favoritefavoritefavoritefavorite ( 6 reviews )
Books to Borrow
by Murray, William H.
texts

eye 433

favorite 9

comment 0

Topics: Assembler language (Computer program language), Intel 8088 (Microprocessor) -- Programming., Intel...
Books to Borrow
by Baxandall, Rosalyn Fraad, 1939-; Gordon, Linda
texts

eye 75

favorite 8

comment 0

Includes bibliographical references
Topics: Women, Women
Books to Borrow
by Moscovich, Ivan; Brion, David
texts

eye 137

favorite 5

comment 0

Map on lining paper
Topics: Puzzles, Maze puzzles
Books to Borrow
by Monks of New Skete
texts

eye 134

favorite 3

comment 0

Includes bibliographical references (p. [321] and index
Topics: New Skete (Monastery : Cambridge, N.Y.), Monastic and religious life, Monasticism and religious...
Books to Borrow
by Lavagnino, Alessandra; Lust, Teresa, 1964-
texts

eye 35

favorite 3

comment 0

Topics: Sisters, Women librarians
Books to Borrow
by Wyatt, Allen
texts

eye 593

favorite 28

comment 0

System requirements for computer disk: IBM-compatible PC; DOS; Microsoft Macro Assembler 6.0
Topic: Assembler language (Computer program language)
Books to Borrow
texts

eye 765

favorite 12

comment 0

Originally published: 2003
Topics: European history: BCE to c 500 CE, Political assassinations, Ancient Rome - History, History,...
Books to Borrow
by Delacoste, Frédérique; Alexander, Priscilla
texts

eye 311

favorite 12

comment 0

Includes index
Topics: Prostitution, Prostitutes
Books to Borrow
by Winks, Robin W; Corrigan, Maureen
texts

eye 374

favorite 23

comment 0

Includes bibliographical references and index
Topics: Detective and mystery stories, English, Detective and mystery stories, English, Detective and...
Books to Borrow
by Heyn, Dalma
texts

eye 243

favorite 6

comment 0

Topics: Adultery, Wives, Ehebruch, Ehefrau
Books to Borrow
by Anderson, Maxwell, 1888-1959; Solt, Andrew, 1916-1990, joint author; Anderson, Maxwell, 1888-1959. Joan of Lorraine
texts

eye 57

favorite 7

comment 0

"The screenplay [was] adapted from the stage play 'Joan of Lorraine, ' by Maxwell Anderson"--Production note
Topics: Joan, of Arc, Saint, 1412-1431, Jeanne, d'Arc, sainte, 1412-1431
Books to Borrow
by Nancy Grubb
texts

eye 70

favorite 6

comment 0

Topics: Angels in art., Christian art and symbolism.
Books to Borrow
by Whedon, Joss, 1964-; Ostow, Micol
texts

eye 125

favorite 9

comment 0

"This teleplay represents the original shooting script for the episode "Once more, with feeling"; thus we have preserved all typos and mis-attributions"--Title page verso
Topics: Pop Arts / Pop Culture, Movie-TV Tie-In - General, Fiction, Mystery/Suspense, Television -...
Books to Borrow
by Bausch, William J
texts

eye 117

favorite 2

comment 0

Bibliography: p. 231-232
Topic: Storytelling
Books to Borrow
texts

eye 78

favorite 4

comment 0

ix, 304 p. : 25 cm
Topics: World War, 1939-1945 -- United States, World War, 1939-1945 -- Japan, United States -- Civilization...
Educational Films
movies

eye 363

favorite 4

comment 0

Describes the rise to fame of Paul Anka, a young Canadian songwriter and singer. Presents a candid look at the popular singer from both sides of the footlights, discussing the reaction of American teenagers and other fans, telling how his manager feels about him, and what he thinks about himself
Topic: Anka, Paul
Books to Borrow
by Milton, Hilary H
texts

eye 41

favorite 1

comment 0

Flying with her uncle in his small plane, 13-year-old Debbie who has been blind for about a year must suddenly take control of the plane when her uncle loses consciousness
Topics: Rescue work, Blind, Flight, People with disabilities
Langley Research Center Media Archive
by NASA/Langley Research Center
image

eye 121

favorite 1

comment 0

Image L63-1954 is available as an electronic file from the photo lab. See URL. -- Photographed on 03/14/1963. -- Sandy M. Stubbs, an engineer in the Impacting Structures Section (within the Structures Research Division), inspects a model of the Apollo command module before conducting a test of water landing characteristics in Langley's tow tank facility. -- Published in James R. Hansen, Spaceflight Revolution: NASA Langley Research Center From Sputnik to Apollo, NASA SP-4308, pp. 361-366.
Topics: APOLLO PROGRAM., Where -- Langley Research Center (LaRC)
Books to Borrow
by Martin, Rafe, 1946-; Root, Kimberly Bulcken, ill
texts

eye 41

favorite 4

comment 0

Having survived a shipwreck, a princess tries to tell a prince a story whose ending he does not know and thus qualify for his hand in marriage
Topics: Princes, Princesses, Storytelling
Home Movies
movies

eye 227

favorite 5

comment 0

July 9, 1982
Topics: July 9, 1982
Film Noir
by W. Lee Wilder
movies

eye 103,085

favorite 83

comment 12

You can find more information regarding this film on its IMDb page .
favoritefavoritefavoritefavorite ( 12 reviews )
Books to Borrow
by Walvin, James, 1942-
texts

eye 131

favorite 10

comment 0

Bibliography, p. 167-(171)
Topic: Social values
Books to Borrow
by Folk, Michael J; Zoellick, Bill
texts

eye 321

favorite 4

comment 0

Bibliography: p. [527]-530
Topics: File organization (Computer science), Fichiers (Informatique)
Vampirella Magazine (Warren Publishing)
texts

eye 7,766

favorite 28

comment 0

Topics: vampire, byron, daegga, ancient, crackling, bat, hap, tristan, torvath, lupagar
Books to Borrow
by Madore, Nancy
texts

eye 1,422

favorite 14

comment 0

Beauty and the beast -- Bluebeard -- Cat and mouse -- Cinderella -- East of the sun and west of the moon -- Goldilocks and the three barons -- Mirror on the wall -- Mrs. Fox -- Snow White in the woods -- The empress' new clothes -- The goose girl -- The sheep in wolves' clothing -- The ugly duckling
Topics: Fairy tales, Erotic stories, Short stories, Women
Books to Borrow
by Grimes, Alan Pendleton, 1919-
texts

eye 75

favorite 3

comment 0

Includes index (p. 155-159)
Topics: Women, Puritans, Christianity and politics, Vrouwenkiesrecht, Femmes
Sci-Fi / Horror
movies

eye 141,399

favorite 174

comment 18

From IMDB: A Nazi scientist invents a time machine enabling him to alter the events of WWII.
favoritefavoritefavorite ( 18 reviews )
Topics: scifi, time machine, feature films
Books to Borrow
by Roller, Duane Emerson, 1894-; Blum, Ronald, 1933-; Davis, Sumner P; Buffa, Anthony J
texts

eye 412

favorite 3

comment 0

v. 1. Mechanics, waves, and thermodynamics -- v. 2. Electricity, magnetism, and light
Topic: Physics
Books to Borrow
by Walter Foster (Firm.); Maltseff, Michele; Powell, William F; Tavonatti, Mia
texts

eye 910

favorite 27

comment 0

"A complete drawing kit for beginners" -- Cover
Topic: Pencil drawing
Prelinger Archives
movies

eye 50,271

favorite 166

comment 16

0723 PA8996 Gags and Gals
favoritefavoritefavoritefavorite ( 16 reviews )
Books to Borrow
by Finkel, LeRoy; Brown, Jerald, 1940- joint author
texts

eye 66

favorite 2

comment 0

Includes index
Topics: BASIC (Computer program language), File organization (Computer science)
Books to Borrow
by Mango, Karin N
texts

eye 150

favorite 4

comment 0

Bibliography: p. 87-88
Topics: Cryptography, Ciphers, Cryptography, Ciphers
Arxiv.org
by Chitta Baral; Juraj Dzifcak; Marcos A. Gonzalez; Aaron Gottesman
texts

eye 44

favorite 1

comment 0

Our broader goal is to automatically translate English sentences into formulas in appropriate knowledge representation languages as a step towards understanding and thus answering questions with respect to English text. Our focus in this paper is on the language of Answer Set Programming (ASP). Our approach to translate sentences to ASP rules is inspired by Montague's use of lambda calculus formulas as meaning of words and phrases. With ASP as the target language the meaning of words and...
Source: http://arxiv.org/abs/1210.5670v1
Books to Borrow
by Shaw, Robert L., 1947-
texts

eye 489

favorite 1

comment 0

Includes bibliographical references (p. [419]-420) and index
Topic: Fighter plane combat
Books to Borrow
texts

eye 65

favorite 4

comment 0

Bibliography: p. 248-263
Topics: World War, 1939-1945, World War, 1939-1945, Russo-Finnish War, 1939-1940
Books to Borrow
by Winterowd, W. Ross
texts

eye 63

favorite 3

comment 0

Cover title: The contemporary writer: a practical rhetoric
Topics: indexes, English language